DNF and satisfiability and Validity